2.2.3 Integrals 201 to 300

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-1) C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

202 202 287 413 0 328 0 0 -1

N.S.

1 1.00 1.42 2.04 0.00 1.62 0.00 0.00 -0.00

time (sec)

N/A 0.193 3.486 0.094 0.000 0.741 0.000 0.000 0.000

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-1) C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

176 176 252 405 0 278 0 0 -1

N.S.

1 1.00 1.43 2.30 0.00 1.58 0.00 0.00 -0.01

time (sec)

N/A 0.174 1.309 0.073 0.000 0.543 0.000 0.000 0.000

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 242 257 0 277 0 0 -1

N.S.

1 1.00 1.62 1.72 0.00 1.86 0.00 0.00 -0.01

time (sec)

N/A 0.150 1.179 0.060 0.000 0.484 0.000 0.000 0.000

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 98 188 0 150 0 0 -1

N.S.

1 1.00 1.27 2.44 0.00 1.95 0.00 0.00 -0.01

time (sec)

N/A 0.051 0.359 0.063 0.000 0.553 0.000 0.000 0.000

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 239 257 0 277 0 0 -1

N.S.

1 1.00 1.60 1.72 0.00 1.86 0.00 0.00 -0.01

time (sec)

N/A 0.164 1.370 0.095 0.000 1.167 0.000 0.000 0.000

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 260 257 0 277 0 0 -1

N.S.

1 1.00 1.71 1.69 0.00 1.82 0.00 0.00 -0.01

time (sec)

N/A 0.167 0.925 0.092 0.000 0.937 0.000 0.000 0.000

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

178 178 257 270 0 287 0 0 -1

N.S.

1 1.00 1.44 1.52 0.00 1.61 0.00 0.00 -0.01

time (sec)

N/A 0.171 1.688 0.093 0.000 0.804 0.000 0.000 0.000

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

200 200 271 283 0 297 0 0 -1

N.S.

1 1.00 1.36 1.42 0.00 1.48 0.00 0.00 -0.00

time (sec)

N/A 0.186 1.769 0.096 0.000 0.873 0.000 0.000 0.000

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-1) C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

247 247 378 453 0 404 0 0 -1

N.S.

1 1.00 1.53 1.83 0.00 1.64 0.00 0.00 -0.00

time (sec)

N/A 0.255 4.972 0.105 0.000 0.722 0.000 0.000 0.000

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

221 221 371 555 0 354 0 0 -1

N.S.

1 1.00 1.68 2.51 0.00 1.60 0.00 0.00 -0.00

time (sec)

N/A 0.239 1.948 0.077 0.000 0.836 0.000 0.000 0.000

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-1) C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 274 268 0 353 0 0 -1

N.S.

1 1.00 1.41 1.37 0.00 1.81 0.00 0.00 -0.01

time (sec)

N/A 0.229 4.700 0.065 0.000 0.443 0.000 0.000 0.000

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-1) C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 371 270 0 353 0 0 -1

N.S.

1 1.00 1.90 1.38 0.00 1.81 0.00 0.00 -0.01

time (sec)

N/A 0.233 1.770 0.067 0.000 0.573 0.000 0.000 0.000

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-1) C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 371 270 0 353 0 0 -1

N.S.

1 1.00 1.90 1.38 0.00 1.81 0.00 0.00 -0.01

time (sec)

N/A 0.230 1.693 0.081 0.000 0.826 0.000 0.000 0.000

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 272 270 0 353 0 0 -1

N.S.

1 1.00 1.39 1.38 0.00 1.81 0.00 0.00 -0.01

time (sec)

N/A 0.228 5.113 0.101 0.000 0.862 0.000 0.000 0.000

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 386 270 0 353 0 0 -1

N.S.

1 1.00 1.98 1.38 0.00 1.81 0.00 0.00 -0.01

time (sec)

N/A 0.241 1.905 0.099 0.000 0.967 0.000 0.000 0.000

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

221 221 285 283 0 363 0 0 -1

N.S.

1 1.00 1.29 1.28 0.00 1.64 0.00 0.00 -0.00

time (sec)

N/A 0.242 2.327 0.094 0.000 0.850 0.000 0.000 0.000

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

247 247 297 296 0 373 0 0 -1

N.S.

1 1.00 1.20 1.20 0.00 1.51 0.00 0.00 -0.00

time (sec)

N/A 0.259 2.725 0.100 0.000 0.966 0.000 0.000 0.000

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 100 221 1264 356 0 0 -1

N.S.

1 1.00 0.86 1.91 10.90 3.07 0.00 0.00 -0.01

time (sec)

N/A 0.121 0.544 0.364 0.605 2.863 0.000 0.000 0.000

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 75 186 662 302 0 0 -1

N.S.

1 1.00 1.04 2.58 9.19 4.19 0.00 0.00 -0.01

time (sec)

N/A 0.074 0.245 0.151 0.579 2.183 0.000 0.000 0.000

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 54 150 241 189 0 0 -1

N.S.

1 1.00 1.46 4.05 6.51 5.11 0.00 0.00 -0.03

time (sec)

N/A 0.039 0.124 0.142 0.568 2.278 0.000 0.000 0.000

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 39 52 20 49 0 0 53

N.S.

1 1.00 1.08 1.44 0.56 1.36 0.00 0.00 1.47

time (sec)

N/A 0.034 0.097 0.132 0.532 2.764 0.000 0.000 0.537

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 49 68 113 66 0 0 69

N.S.

1 1.00 0.64 0.88 1.47 0.86 0.00 0.00 0.90

time (sec)

N/A 0.078 0.162 0.150 0.544 3.881 0.000 0.000 1.297

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 61 80 203 78 0 0 82

N.S.

1 1.00 0.53 0.70 1.77 0.68 0.00 0.00 0.71

time (sec)

N/A 0.120 0.196 0.145 0.550 3.186 0.000 0.000 1.668

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 71 90 293 88 0 0 93

N.S.

1 1.00 0.46 0.59 1.92 0.58 0.00 0.00 0.61

time (sec)

N/A 0.171 0.260 0.154 0.562 3.092 0.000 0.000 2.202

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

160 160 112 246 2361 400 0 0 -1

N.S.

1 1.00 0.70 1.54 14.76 2.50 0.00 0.00 -0.01

time (sec)

N/A 0.176 0.577 0.187 0.661 2.595 0.000 0.000 0.000

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 99 214 2244 370 0 0 -1

N.S.

1 1.00 0.82 1.78 18.70 3.08 0.00 0.00 -0.01

time (sec)

N/A 0.129 0.429 0.164 0.638 2.493 0.000 0.000 0.000

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 75 184 1143 310 0 0 -1

N.S.

1 1.00 1.00 2.45 15.24 4.13 0.00 0.00 -0.01

time (sec)

N/A 0.087 0.288 0.145 0.574 2.406 0.000 0.000 0.000

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 86 174 274 307 0 0 -1

N.S.

1 1.00 1.13 2.29 3.61 4.04 0.00 0.00 -0.01

time (sec)

N/A 0.085 0.376 0.129 0.561 3.708 0.000 0.000 0.000

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 50 71 38 69 0 0 70

N.S.

1 1.00 0.63 0.90 0.48 0.87 0.00 0.00 0.89

time (sec)

N/A 0.082 0.228 0.135 0.536 3.830 0.000 0.000 1.406

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 60 81 210 80 0 0 81

N.S.

1 1.00 0.52 0.70 1.81 0.69 0.00 0.00 0.70

time (sec)

N/A 0.127 0.279 0.138 0.563 3.352 0.000 0.000 1.773

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

161 161 72 93 303 92 0 0 94

N.S.

1 1.00 0.45 0.58 1.88 0.57 0.00 0.00 0.58

time (sec)

N/A 0.173 0.359 0.146 0.564 2.847 0.000 0.000 2.325

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

201 201 80 103 396 103 0 0 105

N.S.

1 1.00 0.40 0.51 1.97 0.51 0.00 0.00 0.52

time (sec)

N/A 0.212 0.546 0.148 0.578 2.272 0.000 0.000 3.022

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

200 200 582 286 3860 446 0 0 -1

N.S.

1 1.00 2.91 1.43 19.30 2.23 0.00 0.00 -0.00

time (sec)

N/A 0.241 8.333 0.149 0.848 2.628 0.000 0.000 0.000

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

160 160 458 254 3469 420 0 0 -1

N.S.

1 1.00 2.86 1.59 21.68 2.62 0.00 0.00 -0.01

time (sec)

N/A 0.196 7.856 0.170 0.792 3.019 0.000 0.000 0.000

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 106 226 2826 386 0 0 -1

N.S.

1 1.00 0.88 1.88 23.55 3.22 0.00 0.00 -0.01

time (sec)

N/A 0.159 0.474 0.155 3.313 2.772 0.000 0.000 0.000

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 91 199 11494 346 0 0 -1

N.S.

1 1.00 0.81 1.78 102.62 3.09 0.00 0.00 -0.01

time (sec)

N/A 0.159 0.708 0.154 0.654 1.953 0.000 0.000 0.000

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 103 195 593 364 0 0 -1

N.S.

1 1.00 0.87 1.65 5.03 3.08 0.00 0.00 -0.01

time (sec)

N/A 0.151 0.453 0.151 0.592 2.636 0.000 0.000 0.000

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 64 85 60 87 0 0 85

N.S.

1 1.00 0.54 0.71 0.50 0.73 0.00 0.00 0.71

time (sec)

N/A 0.133 0.329 0.134 0.538 2.456 0.000 0.000 1.835

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 74 95 323 100 0 0 96

N.S.

1 1.00 0.47 0.61 2.07 0.64 0.00 0.00 0.62

time (sec)

N/A 0.175 0.350 0.150 0.571 4.132 0.000 0.000 2.316

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

201 201 80 105 422 113 0 0 107

N.S.

1 1.00 0.40 0.52 2.10 0.56 0.00 0.00 0.53

time (sec)

N/A 0.246 0.584 0.151 0.565 3.513 0.000 0.000 2.958

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

241 241 90 115 521 126 0 0 356

N.S.

1 1.00 0.37 0.48 2.16 0.52 0.00 0.00 1.48

time (sec)

N/A 0.286 0.374 0.157 0.572 3.280 0.000 0.000 6.925

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 45 0 121 50 0 0 55

N.S.

1 1.00 1.18 0.00 3.18 1.32 0.00 0.00 1.45

time (sec)

N/A 0.042 0.086 0.102 0.509 2.623 0.000 0.000 0.746

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 54 147 257 205 0 0 -1

N.S.

1 1.00 1.46 3.97 6.95 5.54 0.00 0.00 -0.03

time (sec)

N/A 0.044 0.148 0.576 0.559 2.914 0.000 0.000 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 299 124 385 233 0 98 -1

N.S.

1 1.00 7.87 3.26 10.13 6.13 0.00 2.58 -0.03

time (sec)

N/A 0.048 1.929 0.209 0.587 2.622 0.000 0.796 0.000

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 128 125 222 876 481 0 0 -1

N.S.

1 1.00 0.98 1.73 6.84 3.76 0.00 0.00 -0.01

time (sec)

N/A 0.194 0.264 0.174 0.590 4.534 0.000 0.000 0.000

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 89 184 476 351 0 0 -1

N.S.

1 1.00 0.94 1.94 5.01 3.69 0.00 0.00 -0.01

time (sec)

N/A 0.120 0.118 0.143 0.584 3.061 0.000 0.000 0.000

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 75 99 90 160 0 0 -1

N.S.

1 1.00 1.34 1.77 1.61 2.86 0.00 0.00 -0.02

time (sec)

N/A 0.044 0.055 0.134 0.543 3.000 0.000 0.000 0.000

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 102 102 104 281 0 0 -1

N.S.

1 1.00 1.10 1.10 1.12 3.02 0.00 0.00 -0.01

time (sec)

N/A 0.084 0.197 0.125 0.549 3.186 0.000 0.000 0.000

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 120 120 282 318 0 0 -1

N.S.

1 1.00 0.92 0.92 2.15 2.43 0.00 0.00 -0.01

time (sec)

N/A 0.168 0.258 0.147 0.569 2.695 0.000 0.000 0.000

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

169 169 117 130 357 342 0 0 -1

N.S.

1 1.00 0.69 0.77 2.11 2.02 0.00 0.00 -0.01

time (sec)

N/A 0.240 1.131 0.151 0.569 2.712 0.000 0.000 0.000

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

174 174 252 281 4934 579 0 0 -1

N.S.

1 1.00 1.45 1.61 28.36 3.33 0.00 0.00 -0.01

time (sec)

N/A 0.292 0.601 0.151 0.895 2.575 0.000 0.000 0.000

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

134 134 220 240 2122 559 0 0 -1

N.S.

1 1.00 1.64 1.79 15.84 4.17 0.00 0.00 -0.01

time (sec)

N/A 0.202 0.540 0.148 0.605 2.580 0.000 0.000 0.000

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 220 146 15721 338 0 0 -1

N.S.

1 1.00 2.27 1.51 162.07 3.48 0.00 0.00 -0.01

time (sec)

N/A 0.091 0.530 0.136 1.189 2.636 0.000 0.000 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 120 146 1031 340 0 0 -1

N.S.

1 1.00 1.24 1.51 10.63 3.51 0.00 0.00 -0.01

time (sec)

N/A 0.087 0.185 0.133 0.577 3.487 0.000 0.000 0.000

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 145 175 7176 378 0 0 -1

N.S.

1 1.00 1.06 1.28 52.38 2.76 0.00 0.00 -0.01

time (sec)

N/A 0.167 0.469 0.140 0.624 2.467 0.000 0.000 0.000

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

177 177 150 193 33960 398 0 0 -1

N.S.

1 1.00 0.85 1.09 191.86 2.25 0.00 0.00 -0.01

time (sec)

N/A 0.259 0.913 0.145 0.966 2.745 0.000 0.000 0.000

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

217 217 163 203 0 418 0 0 -1

N.S.

1 1.00 0.75 0.94 0.00 1.93 0.00 0.00 -0.00

time (sec)

N/A 0.359 1.346 0.158 0.000 2.728 0.000 0.000 0.000

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 340 454 9048 667 0 0 -1

N.S.

1 1.00 1.59 2.12 42.28 3.12 0.00 0.00 -0.00

time (sec)

N/A 0.386 1.247 0.164 4.553 3.022 0.000 0.000 0.000

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

174 174 308 406 4988 665 0 0 -1

N.S.

1 1.00 1.77 2.33 28.67 3.82 0.00 0.00 -0.01

time (sec)

N/A 0.290 0.695 0.151 0.871 3.047 0.000 0.000 0.000

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 308 210 84332 426 0 0 -1

N.S.

1 1.00 2.25 1.53 615.56 3.11 0.00 0.00 -0.01

time (sec)

N/A 0.136 0.681 0.154 22.973 3.021 0.000 0.000 0.000

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 266 210 2875 422 0 0 -1

N.S.

1 1.00 1.94 1.53 20.99 3.08 0.00 0.00 -0.01

time (sec)

N/A 0.135 1.848 0.139 0.882 3.931 0.000 0.000 0.000

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 146 208 3049 426 0 0 -1

N.S.

1 1.00 1.07 1.52 22.26 3.11 0.00 0.00 -0.01

time (sec)

N/A 0.173 0.939 0.145 1.014 2.891 0.000 0.000 0.000

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

177 177 186 236 258456 446 0 0 -1

N.S.

1 1.00 1.05 1.33 1460.20 2.52 0.00 0.00 -0.01

time (sec)

N/A 0.267 1.310 0.155 3.027 2.822 0.000 0.000 0.000

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

217 217 165 254 148823 466 0 0 -1

N.S.

1 1.00 0.76 1.17 685.82 2.15 0.00 0.00 -0.00

time (sec)

N/A 0.357 2.374 0.154 3.557 2.787 0.000 0.000 0.000

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 140 253 1643 337 0 0 -1

N.S.

1 1.00 1.11 2.01 13.04 2.67 0.00 0.00 -0.01

time (sec)

N/A 0.200 0.431 0.200 0.596 2.376 0.000 0.000 0.000

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 111 218 873 297 0 0 -1

N.S.

1 1.00 1.31 2.56 10.27 3.49 0.00 0.00 -0.01

time (sec)

N/A 0.132 0.307 0.142 0.576 3.369 0.000 0.000 0.000

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

54 54 76 178 473 223 0 0 -1

N.S.

1 1.00 1.41 3.30 8.76 4.13 0.00 0.00 -0.02

time (sec)

N/A 0.081 0.103 0.132 0.567 2.461 0.000 0.000 0.000

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 40 95 87 88 0 0 -1

N.S.

1 1.00 1.48 3.52 3.22 3.26 0.00 0.00 -0.04

time (sec)

N/A 0.028 0.030 0.123 0.536 3.199 0.000 0.000 0.000

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 90 96 101 144 0 0 -1

N.S.

1 1.00 1.45 1.55 1.63 2.32 0.00 0.00 -0.02

time (sec)

N/A 0.058 0.177 0.117 0.539 2.448 0.000 0.000 0.000

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

98 98 118 116 279 163 0 0 -1

N.S.

1 1.00 1.20 1.18 2.85 1.66 0.00 0.00 -0.01

time (sec)

N/A 0.112 0.258 0.136 0.553 2.951 0.000 0.000 0.000

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

134 134 122 126 354 174 0 0 -1

N.S.

1 1.00 0.91 0.94 2.64 1.30 0.00 0.00 -0.01

time (sec)

N/A 0.174 0.314 0.142 0.560 2.865 0.000 0.000 0.000

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

325 325 71 0 0 0 0 0 -1

N.S.

1 1.00 0.22 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.278 0.266 0.102 0.000 0.000 0.000 0.000 0.000

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

280 280 71 0 0 0 0 0 -1

N.S.

1 1.00 0.25 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.223 0.148 0.091 0.000 0.000 0.000 0.000 0.000

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

326 326 71 0 0 0 0 0 -1

N.S.

1 1.00 0.22 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.254 0.163 0.086 0.000 0.000 0.000 0.000 0.000

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

716 716 71 0 0 0 0 0 -1

N.S.

1 1.00 0.10 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.447 0.248 0.101 0.000 0.000 0.000 0.000 0.000

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

673 673 71 0 0 0 0 0 -1

N.S.

1 1.00 0.11 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.428 0.231 0.090 0.000 0.000 0.000 0.000 0.000

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

624 624 71 0 0 0 0 0 -1

N.S.

1 1.00 0.11 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.378 0.150 0.090 0.000 0.000 0.000 0.000 0.000

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

662 662 71 0 0 0 0 0 -1

N.S.

1 1.00 0.11 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.411 0.158 0.088 0.000 0.000 0.000 0.000 0.000

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

715 715 71 0 0 0 0 0 -1

N.S.

1 1.00 0.10 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.427 0.195 0.088 0.000 0.000 0.000 0.000 0.000

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

78 78 760 0 0 0 0 0 -1

N.S.

1 1.00 9.74 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.116 7.153 0.089 0.000 0.000 0.000 0.000 0.000

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

76 76 749 0 0 0 0 0 -1

N.S.

1 1.00 9.86 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.103 7.794 0.090 0.000 0.000 0.000 0.000 0.000

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

76 76 3346 0 0 0 0 0 -1

N.S.

1 1.00 44.03 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.111 20.439 0.089 0.000 0.000 0.000 0.000 0.000

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

78 78 585 0 0 0 0 0 -1

N.S.

1 1.00 7.50 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.116 7.350 0.090 0.000 0.000 0.000 0.000 0.000

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

78 78 1982 0 0 0 0 0 -1

N.S.

1 1.00 25.41 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.079 23.248 0.076 0.000 0.000 0.000 0.000 0.000

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

79 79 2618 0 0 0 0 0 -1

N.S.

1 1.00 33.14 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.087 25.469 0.073 0.000 0.000 0.000 0.000 0.000

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

327 79 274 0 0 0 0 0 -1

N.S.

1 0.24 0.84 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.087 9.733 0.072 0.000 0.000 0.000 0.000 0.000

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

80 80 2325 0 0 0 0 0 -1

N.S.

1 1.00 29.06 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.091 31.334 0.072 0.000 0.000 0.000 0.000 0.000

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

304 304 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.344 0.742 0.168 0.000 0.000 0.000 0.000 0.000

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

230 230 286 0 0 0 0 0 -1

N.S.

1 1.00 1.24 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.195 1.517 0.074 0.000 0.000 0.000 0.000 0.000

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

172 172 222 0 0 0 0 0 -1

N.S.

1 1.00 1.29 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.105 1.099 0.060 0.000 0.000 0.000 0.000 0.000

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

132 132 106 0 0 0 0 0 -1

N.S.

1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.069 0.172 0.072 0.000 0.000 0.000 0.000 0.000

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

174 174 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.116 0.904 0.059 0.000 0.000 0.000 0.000 0.000

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

217 217 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.212 8.247 0.048 0.000 0.000 0.000 0.000 0.000

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

162 162 433 0 0 0 0 0 -1

N.S.

1 1.00 2.67 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.165 62.752 0.082 0.000 0.000 0.000 0.000 0.000

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 83 0 0 0 0 0 -1

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.076 0.418 0.072 0.000 0.000 0.000 0.000 0.000

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 45 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.034 0.042 0.080 0.000 0.000 0.000 0.000 0.000

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

59 59 2938 0 0 0 0 0 -1

N.S.

1 1.00 49.80 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.053 15.949 0.076 0.000 0.000 0.000 0.000 0.000

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

62 62 2990 0 0 0 0 0 -1

N.S.

1 1.00 48.23 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.055 16.462 0.075 0.000 0.000 0.000 0.000 0.000

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 85 0 0 0 0 0 -1

N.S.

1 1.00 0.73 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.089 0.416 0.082 0.000 0.000 0.000 0.000 0.000

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 67 0 0 0 0 0 -1

N.S.

1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.036 0.055 0.076 0.000 0.000 0.000 0.000 0.000